# Copyright 1999-2004 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: /cvs/zport/sci-mathematics/minisat/minisat-2.070721.ebuild,v 1.1 2007/08/21 02:36:38 zechs Exp $

inherit eutils

my_S=${PN}
DESCRIPTION="MiniSat - a SAT solver."
HOMEPAGE="http://minisat.se/"
SRC_URI="http://minisat.se/downloads/${P}.tar.gz"

LICENSE="as-is"
SLOT="0"
KEYWORDS="x86 sparc"
IUSE="simp"
DEPEND=""
RDEPEND="${DEPEND}"

src_compile() {
	myconf="MROOT=.."

	if use simp; then
		cd ${my_S}/simp
	else
		cd ${my_S}/core
	fi

	emake ${myconf} || die
}

src_install() {
	if use simpl; then
		cd ${my_S}/simp
	else
		cd ${my_S}/core
	fi
	dobin minisat
}
